Applying Filter Clusters to Reduce Search State Space

Search Space Reduction for Farsi Printed Subwords Recognition by Position of the Points and Signs

In the field of the words recognition, three approaches of words isolation, the overall shape and combination of them are used. Most optical recognition methods recognize the word based on break the word into its letters and then recogniz them. This approach is faced some problems because of the letters isolation dificulties and its recognition accurcy in texts with a low image quality. Therefo...

Modeling and Analysis of Real-Time Ada Tasking Programs

We propose a model for real-time Ada tasking programs that naturally represents such features as processor sharing, priority preemption, and process suspension. We describe a semi-decision procedure for proving properties of the model that uses linear programming to determine the feasibility of paths explored during a state-space search of the program. We demonstrate the feasibility of this pro...

Simulation of Rainfall - Runoff Events by Applying Phase Differences Diagrams and Correcting Effective Rainfall Components

   The conversion of rainfall to runoff in basins includes nonlinear relations between the complex interactions of various hydrological processes. In this study, without considering of predetermined structure, relationship between input and output system was derived individually from the nature of the data recorded. Also, the phase difference occurred between rainfall and runoff signals using c...

بررسی تأثیر افزایش قیمت بنزین روی مصرف آن براساس مدل‌های State Space و Kalman Filter

Reachability checking in complex and concurrent software systems using intelligent search methods

Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...